Debugging Multithreaded Programs as if They Were Sequential
نویسندگان
چکیده
منابع مشابه
Debugging Multithreaded Programs
A multithreaded program with a bug may behave nondeterministically, and this nondeterminism typically makes the bug hard to localize. This thesis presents a debugging tool, the Nondeterminator-2, which automatically finds certain nondeterminacy bugs in programs coded in the Cilk multithreaded language. Specifically, the Nondeterminator-2 finds "dag races," which occur when two logically paralle...
متن کاملDebugging Multithreaded Programs That Incorporate User-level Locking Debugging Multithreaded Programs That Incorporate User-level Locking
A multithreaded program with a bug may behave nondeterministically, and this nondeterminism typically makes the bug hard to localize. This thesis presents a debugging tool, the Nondeterminator-2, which automatically nds certain nondeterminacy bugs in programs coded in the Cilk multithreaded language. Speci cally, the Nondeterminator-2 nds \dag races," which occur when two logically parallel thr...
متن کاملModelling ecological communities as if they were DNA
Department of Life Sciences, Imperial College London, Ascot, Berkshire, United Kingdom Centre for Ecology and Hydrology, Wallingford, Oxfordshire, United Kingdom Department of Ecology, Evolution, and Behavior, University of Minnesota, 1987 Upper Buford Circle, Saint Paul, Minnesota, 55108, USA Department of Life Sciences, Natural History Museum, Cromwell Road, London SW7 5BD, UK The Exelixis La...
متن کاملDebugging Concurrent Programs with Sequential Analysis
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent programs, such as model checking, explore all possible thread interleavings. Since the number of thread interleavings increases exponentially with the number of threads, such analyses have high computational complexity....
متن کاملFlashes are localised as if they were moving with the eyes
Targets that are flashed during smooth pursuit are mislocalised in the direction of the pursuit. It has been suggested that a similar mislocalisation of moving targets could help to overcome processing delays when hitting moving objects. But are moving targets really mislocalised in the way that flashed ones are? To find out we asked people to indicate where targets that were visible for differ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2018
ISSN: 2169-3536
DOI: 10.1109/access.2018.2835672